<?php
session_start();

include("security.inc.php");
include("db.inc.php");
include("settings.inc.php");
include("gui.inc.php");
include("permissions.inc.php");

$logged_in = user_is_logged_in();

?>
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
  <head>
  <meta http-equiv="content-type" content="text/html; charset=windows-1250">
  <title></title>
  <title><? echo get_settings("title", "");?></title>

  <?php
    echo "<link id=\"style_def\" rel=\"stylesheet\" type=\"text/css\" href=\"images/style.css?random=".rand(0, 16777215)."\">";
    echo "<link rel=\"stylesheet\" type=\"text/css\" href=\"images/search.css?random=".rand(0, 16777215)."\">";
    //echo "<link id=\"style_def\" rel=\"stylesheet\" type=\"text/css\" href=\"images/".style()."\">";
  ?>
  <script type="text/javascript" src="js/ajax.js"></script>
  <script type="text/javascript" src="js/functions.js"></script>
  <script type="text/javascript" src="js/search.js"></script>
  
  </head>

  <body>
